Arithmetic of logic
نویسندگان
چکیده
منابع مشابه
Reversible arithmetic logic unit
Quantum computer requires quantum arithmetic. The sophisticated design of a reversible arithmetic logic unit (reversible ALU) for quantum arithmetic has been investigated in this letter. We provide explicit construction of reversible ALU effecting basic arithmetic operations. By provided the corresponding control unit, the proposed reversible ALU can combine the classical arithmetic and logic o...
متن کاملVirtual logic - formal arithmetic
We were well programmed long ago to do this arithmetic, and yet it is quite the most mysterious subject. A positive integer is said to be a prime if it is not equal to one, and if it has no integer factors other than itself and one. Here we see that 12 is factored into the product of the prime numbers 2 and 3. Factorization into primes is unique (a nice matter to prove and one of the first basi...
متن کاملArithmetic + Logic + Geometry = Concurrency
0 Introduction In deening concurrency one dichotomy that has arisen is between reductionism and primitivism. The reductionist viewpoint reduces concurrent behavior to nondeterministic sequential behavior by viewing it as interleaving. The primitive school treats concurrent behavior as a basic form of behavior in its own right, distinct from and indeed more general than sequential behavior. A ba...
متن کاملSequent logic of arithmetic decidability∗
Our paper continues, on the one hand, the study of modal logics that have arithmetical semantics, and on the other, the investigation of decidability (or “non-contingency”) logics. We present Hilbert-style axiomatic system for the non-contingency logic of the Gödel-Löb provability logic GL, in other words, for the logic that is complete under the interpretation of a formula BA as ‘a sentence A ...
متن کاملDesign and Simulation of a 2GHz, 64×64 bit Arithmetic Logic Unit in 130nm CMOS Technology
The purpose of this paper is to design a 64×64 bit low power, low delay and high speed Arithmetic Logic Unit (ALU). Arithmetic Logic Unit performs arithmetic operation like addition, multiplication. Adders play important role in ALU. For designing adder, the combination of carry lookahead adder and carry select adder, also add-one circuit have been used to achieve high speed and low area. In mu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1927
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1927-1501407-1